Merge branch 'wip/nacho/tool-api' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Thu, 7 Jan 2021 13:25:11 +0000 (13:25 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 7 Jan 2021 13:25:11 +0000 (13:25 +0000)
seat: improve api to take into account the tool type

See merge request GNOME/gtk!3047


Trivial merge